First-order temporal logic
[計(jì)] 一組時(shí)態(tài)邏輯
?? 詞語(yǔ)組成解析
first
[f?st]
n. 第一，最初;頭等;一號(hào)，;[樂]高音部;
adv. 最早，最初;首次;寧愿;優(yōu)先;
adj. 第一流的;最初的，最早的;基本的，概要的;高音的;
num. 第一;
order
['?:d?]
n. 命令;秩序;規(guī)則，制度;次序;
vt. 命令;訂購(gòu);整理;
vi. 下訂單;
temporal
['t?mp?r?l]
adj. 時(shí)間的;世俗的;暫存的;<語(yǔ)>表示時(shí)間的;
n. 暫存的事物，世間的事物;世俗的權(quán)力;一時(shí)的事物，俗事;
tempor時(shí)間+al形容詞后綴→ 現(xiàn)世的；暫時(shí)的
logic
['l?d?ik]
n. 邏輯，邏輯學(xué);（做某事的）道理;推理方法;威力，壓力，強(qiáng)制（力）;
adj. 邏輯的;
??? 情景例句
Well... they want me to,
這……他們希望這樣。
The path to glory is always rugged.
通向光榮的道路常常是坎坷不平的。
I was being tested for a driving licence for the third time.
我第3次接受駕駛執(zhí)照考試。